oil shale cement