Loading: Average gasoline prices in US up 13% in 2017 from 2016, but lower than in 2015