:Oil shale extraction