Microsoft reducerer med 10.000 medarbejdere