Some of the biggest tech companies have announced tens of thousands of job cuts. But even after the layoffs, their work forces are still behemoths.