Xiaomi officially launches in Indonesia with Redmi 1S