Integration of High Temperature Gas Reactors with in Situ Oil Shale Retorting