How big is big tech?