The petroleum industry: exploration and production of