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 saúde e infraestrutura em Miami para 2025?
 ###Tabelas: 
CREATE TABLE city_budgets (city varchar(50), year int, service varchar(50), budget int); INSERT INTO city_budgets (city, year, service, budget) VALUES ('Miami', 2025, 'Healthcare', 12000000), ('Miami', 2025, 'Infrastructure', 8000000);
SELECT SUM(budget) FROM city_budgets WHERE city = 'Miami' AND (service = 'Healthcare' OR service = 'Infrastructure') AND year = 2025;