Xiaomi Repurchases 3.2 Million Shares for HKD 100 Million