Tax revenue from stock-options withholding at the biggest tech companies has quadrupled in the past decade