Projecting US shale oil production (after June 2016)