Income tax deductions for government employees