Economic linkages to the mining sector in Colombia