เครื่องขุดอุโมงค์ช่องแคบ: อุปกรณ์ขุดเจาะใต้ดินที่มีนวัตกรรม