What you didn’t know about Xiaomi.