Renegotiating a mortgage: when it is worth paying it off