IRS workforce could be significantly reduced in the near future