See also TaxWatch: This former top Obama official says auditing more rich people would raise $500 billion in personal-income tax