¿Cuál es la importancia de las herramientas digitales en la mediana minería?