How today's IRS machine works