‘Removing Layers of Management’: Microsoft Is Laying Off Another 9,000 Employees. Here’s What We Know.