¿Qué tan importante es la minería?