Huawei’s new OS is for industrial use, not Android replacement