Greater Milwaukee Association of Realtors: July home sales up 4.7 percent