NEW: Updated IRS workforce numbers as of January 2026