Text this: Formalización de la economía colombiana como mecanismo de aumento del recaudo tributario