Microsoft is shedding 10,000 staff