Redmi Note 13, 13 Pro e 13 Pro Plus, da Xiaomi, chegam nesta segunda-feira (15) ao mercado global, com opções de modelo com e sem 5G