types of rocks in mining