How U.S. oil production reached an all-time high in 2023