AI Can Help the IRS Catch Wealthy Tax Cheats