Petroleos Mexicanos’ head of crude oil trading Victor Briones and two other executives left the company amid a conflict over an external review of the nation’s crude price formulas, people familiar with the matter said.