IRS enforcement activity fell despite record tax collections, TIGTA says