Warren Buffett’s Taxes, and Mine