Crie um sistema em Python que modele diferentes tipos de veículos (carro, moto, barco, avião) utilizando herança e polimorfismo. Cada veículo deve ter atributos básicos (como modelo, ano, cor e quilometragem) e métodos específicos para exibir seus detalhes e calcular seu valor de revenda com base na quilometragem.