Xiaomi Redmi Note 13 5G arrives as new entry-level option for ...