Compare Xiaomi Redmi Note 12S with vivo X100, vivo X100 Pro, vivo X90s