US inflation eases slightly in July