Proposta de um Sistema de Suporte à Decisão para Programação de Navios baseado em Otimização: um estudo prático Documento