U.S. monthly dry natural gas production set a new record in December 2023