Text this: ¿Cuánto le cuesta la informalidad al sistema de salud colombiano?