เครื่องเจาะอุโมงค์ อุโมงค์ช่อง: การก่อสร้างอุโมงค์ที่ก้าวหน้า