BBC：微软已确认将裁员多达 9,000 人，这是该科技巨头今年最新一轮裁员。