Permian Basin reaches new production peak in 2017