Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Quais são os nomes dos veículos que são tanto autônomos quanto elétricos, e sua velocidade de tráfego na rodovia?
 ###Tabelas: 
CREATE TABLE Vehicle (id INT, name TEXT, is_autonomous BOOLEAN, is_electric BOOLEAN, highway_traffic_speed FLOAT); INSERT INTO Vehicle (id, name, is_autonomous, is_electric, highway_traffic_speed) VALUES (1, 'Model S', true, true, 120.3), (2, 'Camry', false, false, 112.5), (3, 'Bolt', true, true, 95.8), (4, 'Tesla', true, false, 130.0);
SELECT Vehicle.name, Vehicle.highway_traffic_speed FROM Vehicle WHERE is_autonomous = true AND is_electric = true;