Microsoft laying off 10,000