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: Liste todos os prédios do governo e suas respectivas agências no estado do Texas a partir do 'tx_government_database'.
 ###Tabelas: 
CREATE TABLE tx_agencies (id INT PRIMARY KEY, name VARCHAR(255), state VARCHAR(255));CREATE TABLE tx_buildings (id INT PRIMARY KEY, name VARCHAR(255), agency_id INT, FOREIGN KEY (agency_id) REFERENCES tx_agencies(id)); INSERT INTO tx_agencies (id, name, state) VALUES (1, 'Texas Department of Transportation', 'Texas'); INSERT INTO tx_agencies (id, name, state) VALUES (2, 'Texas Parks and Wildlife Department', 'Texas');
SELECT tx_buildings.name as building_name, tx_agencies.name as agency_name FROM tx_buildings INNER JOIN tx_agencies ON tx_buildings.agency_id = tx_agencies.id WHERE tx_agencies.state = 'Texas';