Abordagens exata e meta-heurísticas para o problema do carteiro rural ao vento com dependência de tempo