Xiaomi, Redmi, Xiaomi Redmi Note 13 5G