The Mexican Petroleum Industry in the Twentieth Century