equipment used for mining of rocks