qué es la rotura de rocas en la minería