Text this: Oil shale retorting in a 150-ton batch-type pilot plant /