Average price for a gallon of gas in US hits a record $4.17