Ground engineering -- Principles and practices for underground coal mining. (2016)