Text this: Challenges and Opportunities for the Mining Industry as a Potential Driver of Development in Colombia