Microsoft Executive Says Using AI Has Saved $500 Million in Productivity Costs, as the Company Conducts Mass Layoffs