Permian Gas Flaring Dips for First Time Since 2017