October U.S. House Price Index Tops Bubble-Era Peak