U.S. natural gas production breaks two all-time records in 2017