various process of coal mining