Projecting US shale oil production (after December 2016)