เครื่องเจาะอุโมงค์หินแข็ง: ประสิทธิภาพในการขุดใต้ดิน