Projecting US shale oil & gas production (after July 2017)