Bayesian modeling of spatio-temporal point patterns in residential property sales