Redmi Note 13 deve chegar ao mercado global em Dezembro