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: Encontre o valor total dos contratos de defesa concedidos a empresas no Texas, agrupados por cidade.
 ###Tabelas: 
CREATE TABLE defense_contracts (contract_id INT, company_name TEXT, state TEXT, contract_value FLOAT); INSERT INTO defense_contracts (contract_id, company_name, state, contract_value) VALUES (1, 'Acme Corp', 'Texas', 5000000); INSERT INTO defense_contracts (contract_id, company_name, state, contract_value) VALUES (2, 'Beta Inc', 'California', 7000000);
SELECT city, SUM(contract_value) FROM defense_contracts JOIN companies ON defense_contracts.company_name = companies.company_name WHERE defense_contracts.state = 'Texas' GROUP BY city;