U.S. gas prices reach record high