U.S. natural gas production, consumption, and exports set new records in 2019