Pay a lump sum and recast (same rate, lower balance) vs refinance (new rate, new term). Which one wins?