Shale oil extraction