IRS workers protest partial government shutdown