I’ll have a monthly income of $12,000 in retirement. My mortgage rate is 2.25% — should I pay it off with funds from my 401(k)?