Redmi 12C es oficial, el primer teléfono barato de 2023 de Xiaomi