U.S. crude oil exports reached a record in 2023