Converting Green River oil shale to liquid fuels with ATP and ICP technologies: Life-cycle comparison of energy e ciency and GHG emissions.