Pilot launch of the Jakarta-Bandung high-speed railway: High-quality development for all