Colombia mining requires formalization: Minister