Formation and mining of oil