Xiaomi ultrapassou os 547 milhões de usuários da MIUI