Elements of coal mining