importancia de la actividad minera en colombia