Average U.S. mpg edges up to 25.5 in May