Mining town repairs : cost estimating for insurance claims.