Indonesian president declares official operation of Jakarta-Bandung high-speed railway