Title: Principles of coal mining