Tax deductions for government employees