Nokia, ufficiale l’acquisizione da parte di Microsoft