Microsoft will lay off 10,000 employees