Microsoft to lay off 10,000 workers in plan to ‘align revenue with cost’