Xiaomi Mix Fold3 manquera également une sortie internationale