Rock mechanics in mining practice (SAIMM monograph ;, 1983)