US house prices annually jump 4.2% in August