The RedMi Pro is Xiaomi’s first dual-camera smartphone