Microsoft dejará de usar la marca Nokia para sus smartphones