Why Microsoft layoffs won't change its headcount