Microsoft Lumia will replace the Nokia brand