Government shutdown would halt many IRS operations