Concreto lanzado y minería