Nokia is now officially part of Microsoft