Microsoft’s weak earnings put its massive layoffs in context