Air-void structure, strength, and permeability of wet-mix shotcrete before and after shotcreting operation: The inﬂuences of silica fume and air-entraining agent - Choi,Pangil