IRS Official at Heart of Tea Party Scandal Retires