Employee deductions: 401(k) and more