Microsoft is planning to lay off thousands of employees in July