Do House Prices Double Every 10 Years?