proceso de minería de roca dura