Text this: Propuesta de asignación de ciclos semafóricos para la disminución de la congestión vehicular en la ciudad de San José de Cúcuta empleando modelamiento matemático