US house prices annually soar 9.8% in October