Text this: Optimización de la tributación del sector minero: una propuesta para el caso colombiano