How Are 401(k) Withdrawals Taxed for Nonresidents?