Xiaomi, Mi, Xiaomi Redmi Note 13 5G