Contribución PIB sector informal países en desarrollo miliares a Colombia