importancia de la minería en colombia