Xiaomi Redmi 7A, Redmi 7 o Redmi Note 7, ¿cuál comprar?