Xiaomi планирует выпустить компактный смартфон Redmi