Microsoft dumps Nokia