US copper-users' output growth at 5-month high in July, but Asia and Europe both see only marginal expansion