Energy solutions for producing shale oil: Characteristics of energy demand and economic analysis of energy supply options