A Short History of UK house prices