Un repaso por la historia de la minería en Colombia: