After 15,000 Layoffs, Microsoft Cuts Employee Library and Newspaper Access, Shifts Focus to AI-Based Learning