Xiaomi официально выходит на IPO, планируя привлечь не менее $10 млрд