Simulation of a Conceptualized Combined Pyrolysis, In Situ Combustion, and CO2 Storage Strategy for Fuel Production from Green River Oil Shale