Techniques in underground mining : selections from Underground mining methods handbook - Gertsch, Richard E.; Bullock, Richard L., 1929-2020 (Society for Mining, Metallurgy, and Exploration, 1998)