Xiaomi buys back 3.3 million shares for HK$100 million