Renegotiating a Mortgage: When Is Early Repayment More Worthwhile?