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 em 2020?
 ###Tabelas: 
CREATE TABLE HealthBudget (Year INT, Service VARCHAR(255), Budget FLOAT); INSERT INTO HealthBudget VALUES (2018, 'Healthcare', 15000000), (2019, 'Healthcare', 16000000), (2020, 'Healthcare', ?);
SELECT SUM(Budget) FROM HealthBudget WHERE Service = 'Healthcare' AND Year = 2020;