Microsoft will lay off 9,000 employees, or less than 4% of the company