realme 12 5G Vs Redmi Note 13 4G: qual a melhor opção na mesma faixa de preço?