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 valor total dos contratos de defesa concedidos a empresas no Texas, agrupados por tipo de contrato?
 ###Tabelas: 
CREATE TABLE defense_contracts (contract_id INT, company_name TEXT, state TEXT, contract_type TEXT, contract_value FLOAT); INSERT INTO defense_contracts (contract_id, company_name, state, contract_type, contract_value) VALUES (1, 'ABC Corp', 'Texas', 'Research', 5000000), (2, 'XYZ Inc', 'California', 'Procurement', 3000000), (3, 'DEF Industries', 'Texas', 'Logistics', 7000000);
SELECT contract_type, SUM(contract_value) as total_value FROM defense_contracts WHERE state = 'Texas' GROUP BY contract_type;