Redmi 13 5G已在海外发布,延续入门级定位