Xiaomi、「Redmi Note 4X」を正式発表、初音ミクのスペシャルモデルもあり