Renegotiating a mortgage loan: when paying it off pays off