U.S. natural gas production hit a new record high in 2018