Xiaomi devient le troisième constructeur mondial, dépassant Huawei