Here’s a breakdown of how many workers Big Tech companies have laid off over the past few months