Validation of methods and algorithms for estimating geomechanical safety of mining operations - A. F. Bulat; I. N. Slashchev; A. A. Jalanskij; A. I. Slashchev (Geo-Technical Mechanics, 2017)