Renegotiating a mortgage: when early repayment pays off