Oil shale processing