Xiaomi Redmi Note 12 5G vs Note 12 Pro: which is the better buy?