Tax Evasion at the Top of the Income Distribution: Theory and Evidence