heat recovery steam generator for oil shale fired