IRS furloughs nearly half of its workforce due to government shutdown