เครื่องจักรป้องกันแรงดันดิน: อุปกรณ์ขุดอุโมงค์ที่ทันสมัย