IRS to fire 7,000 workers amid tax-filing season