小米市值突破9000亿。