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: Qual é a massa total das espaçonaves fabricadas pela 'AstroCorp'?
 ###Tabelas: 
CREATE TABLE spacecraft_manufacturing (id INT, manufacturer VARCHAR(20), mass FLOAT);INSERT INTO spacecraft_manufacturing (id, manufacturer, mass) VALUES (1, 'AstroCorp', 12000.0), (2, 'SpaceTech', 15000.0);
SELECT SUM(mass) FROM spacecraft_manufacturing WHERE manufacturer = 'AstroCorp';