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 bibliotecas públicas em cada estado com uma população superior a 5 milhões?
 ###Tabelas: 
CREATE SCHEMA Government;CREATE TABLE Government.State (name VARCHAR(255), population INT);CREATE TABLE Government.Library (name VARCHAR(255), state VARCHAR(255), budget INT);
SELECT state, SUM(budget) FROM Government.Library WHERE state IN (SELECT name FROM Government.State WHERE population > 5000000) GROUP BY state;