US house prices annually jump 5.7% in May