Oil shale retorting