Xiaomi officialise son Mi 10S, évolution mineure du Mi 10 de 2020