How much America’s richest people would pay under a billionaire tax is pretty complicated