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 orçamento total alocado para inovação militar pelos países da aliança da OTAN?
 ###Tabelas: 
CREATE TABLE military_innovation (country VARCHAR(50), budget INT); INSERT INTO military_innovation (country, budget) VALUES ('USA', 700000000), ('Canada', 250000000), ('UK', 600000000), ('France', 800000000), ('Germany', 500000000); CREATE TABLE nato_alliance (country VARCHAR(50)); INSERT INTO nato_alliance (country) VALUES ('USA'), ('Canada'), ('UK'), ('France'), ('Germany'), ('Italy'), ('Spain'), ('Netherlands'), ('Belgium'), ('Turkey'), ('Norway'), ('Greece');
SELECT SUM(mi.budget) FROM military_innovation mi INNER JOIN nato_alliance na ON mi.country = na.country;