Xiaomi repurchases 7.5 million shares for HKD 238 million