A knowledge-based approach to the computer-assisted mortgage valuation of residential property