Macroprudential policy in an agent-based model of the UK housing market