Microsoft to Lay Off 10,000 Workers