Xiaomi, Redmi, Xiaomi Redmi Note 13 Pro 5G