Modelling Spatial Housing Markets: Theory, Analysis and Policy