Microsoft to Lay Off 10,000 Workers as Slowdown Hits Software Business (Wall Street Journal)