Shield Tunneling in Rock–Soil Interface Composite Formations