Application of the pneumatic pin penetration test to estimation of compressive strength of shotcrete in Korea