oil pump history