Modelling and Improving Social Housing Markets