U.S. exports of natural gas set a record high in the first half of 2023