Xiaomi Mi 10 resmi diluncurkan di Indonesia, lantas berapa harganya?