Xiaomi reveals when it will launch the Mi Mix 4