Automated valuation modelling: a specification exercise | Synapse