Um modelo de otimização para o planejamento de operações de um sistema de abastecimento de água da cidade de Florianópolis Documento