Box Girders Erected on Sections of Indonesia's Jakarta-Bandung High Speed Railway