the mining of mineral ore