Total U.S. travel agency sales in July increased 3.5 percent