Modelos de simulação e de programação matemática aplicados na análise e otimização do transporte de passageiros na Linha 4 do sistema metroviário do Rio de Janeiro Documento