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 serviços de saúde no ano de 2020 em todas as cidades?
 ###Tabelas: 
CREATE TABLE CityBudget (CityName VARCHAR(50), Service VARCHAR(50), Allocation INT, Year INT); INSERT INTO CityBudget (CityName, Service, Allocation, Year) VALUES ('CityA', 'Healthcare', 1000000, 2020), ('CityA', 'Education', 800000, 2020), ('CityB', 'Healthcare', 1200000, 2020), ('CityB', 'Education', 900000, 2020);
SELECT SUM(Allocation) FROM CityBudget WHERE Service = 'Healthcare' AND Year = 2020;