Xiaomi is gearing up to launch a budget Redmi 13R 5G smartphone ...