Microsoft to Lay Off About 9,000 Employees (New York Times)