Microsoft officially launches its Windows Phone 8 mobile OS