U.S. gasoline prices reach 9-month high as refiners cut more output