The U.S. exported a record volume of natural gas in 2023