type of excavation in mining