Oil shale-fired power stations