Zucman: Bill Gates wouldn't have paid 100B in tax, only 83B