what are different types of coal mining