procesod e la mineria en colombia