小米mix是什么时候发布的手机型号呢