lo que se considera minería