Xiaomi je danes, 9.7.2018 začel s trgovanjem na borzi v Hong Kongu