By some measures, U.S. natural gas production set a record in 2017