historia de la minería en colombia pdf