Jakarta-Semarang high-speed railway in pipeline, to cut travel time to 3.5 hours