State and prospects of methods and techniques of mine surveying in the coal industry - Smirnov , P. (Journal of Mining Institute, 2001)