energy-cost of shale oil production