Cashing Out an Old 401(k): Taxes and Penalties