Mini-Retirements: The Math Behind Early 401(k) Withdrawals