Home prices in 20 US cities rose 5% in July from year earlier