Annual US consumer inflation up 8.5% in July, easing from 9.1% in June