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: Listar todos os astronautas que voaram em missões com uma espaçonave fabricada pela 'AstroTech'?
 ###Tabelas: 
CREATE TABLE Astronauts (Astronaut_ID INT, Name VARCHAR(255)); CREATE TABLE Missions (Mission_ID INT, Astronaut_ID INT, Spacecraft_Manufacturer VARCHAR(255)); INSERT INTO Astronauts (Astronaut_ID, Name) VALUES (1, 'Alexander Jones'), (2, 'Brianna Lee'), (3, 'Carlos Martinez'); INSERT INTO Missions (Mission_ID, Astronaut_ID, Spacecraft_Manufacturer) VALUES (1, 1, 'AstroTech'), (2, 2, 'AstroTech'), (3, 3, 'Cosmos Inc');
SELECT Astronauts.Name FROM Astronauts INNER JOIN Missions ON Astronauts.Astronaut_ID = Missions.Astronaut_ID WHERE Missions.Spacecraft_Manufacturer = 'AstroTech';