here are the types of underground mining and their