Bond–Slip Behavior Between Shotcrete and I-Shaped Steel with Studs in Tunnels: Experimental and Numerical Study via Push-Out Tests | Synapse