Huawei officially launches Harmony operating system to rival Android