How much higher the mix-adjusted house price is compared to non-adjusted - year to Sept 2023