¿Cuál es la relación entre la minería actual y la de tiempos de la colonia?