Modelling real property transactions: an overview