O problema de sequenciamento de caminhões em uma estação de crossdocking com duas máquinas: Formulação indexada no tempo, relaxação lagrangeana e geração de colunas. Documento