Xiaomi и Redmi доминируют в Топ-10 смартфонов у россиян в первой половине 2020