Gas prices are down as U.S. oil production is back up to record levels