Projecting US shale oil production