Xiaomi repurchases 3.26 million shares for HKD100 million