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 é o número total de lançamentos bem-sucedidos de satélites pela SpaceTech Inc. e AstroCorp?
 ###Tabelas: 
CREATE TABLE Satellite_Launches (launch_date DATE, manufacturer VARCHAR(255), success BOOLEAN); INSERT INTO Satellite_Launches (launch_date, manufacturer, success) VALUES ('2020-01-01', 'SpaceTech Inc.', TRUE), ('2020-02-01', 'AstroCorp', FALSE), ('2020-03-01', 'SpaceTech Inc.', TRUE), ('2020-04-01', 'AstroCorp', TRUE), ('2020-05-01', 'SpaceTech Inc.', TRUE);
SELECT SUM(success) AS total_successful_launches FROM (SELECT success FROM Satellite_Launches WHERE manufacturer = 'SpaceTech Inc.' UNION ALL SELECT success FROM Satellite_Launches WHERE manufacturer = 'AstroCorp') AS subquery;