lo que la industria es la mineria