Redmi Note 12, 5G, Pro and Plus: Xiaomi's best-sellers face-to-face