La reducción de la jornada laboral en Colombia