Сравнение vivo X100 Pro с Xiaomi Redmi 13C, Xiaomi Redmi 13C 5G, Xiaomi Redmi 13R