what are the different types of underground mining