production of mineral oil