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: Quais fornecedores forneceram equipamentos militares no valor de mais de $10 milhões no Texas?
 ###Tabelas: 
CREATE TABLE vendors (id INT, vendor_name VARCHAR(255), vendor_location VARCHAR(255)); CREATE TABLE contracts (id INT, vendor_id INT, equipment_type VARCHAR(255), quantity INT, contract_value FLOAT, state VARCHAR(255)); INSERT INTO vendors (id, vendor_name, vendor_location) VALUES (1, 'General Dynamics', 'Florida'); INSERT INTO vendors (id, vendor_name, vendor_location) VALUES (2, 'Bell', 'Texas'); INSERT INTO vendors (id, vendor_name, vendor_location) VALUES (3, 'Boeing', 'Washington'); INSERT INTO contracts (id, vendor_id, equipment_type, quantity, contract_value, state) VALUES (1, 1, 'Tank', 50, 10000000, 'Texas'); INSERT INTO contracts (id, vendor_id, equipment_type, quantity, contract_value, state) VALUES (2, 2, 'Helicopter', 25, 5000000, 'Texas'); INSERT INTO contracts (id, vendor_id, equipment_type, quantity, contract_value, state) VALUES (3, 3, 'Aircraft', 10, 20000000, 'California');
SELECT v.vendor_name, SUM(c.contract_value) as total_contract_value FROM contracts c JOIN vendors v ON c.vendor_id = v.id WHERE c.state = 'Texas' GROUP BY v.vendor_name HAVING total_contract_value > 10000000;