Text this: Formulações matemáticas e estratégias de resolução para o problema job shop clássico