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 assinados por empresas localizadas no Texas, no ano de 2020?
 ###Tabelas: 
CREATE TABLE defense_contracts (contract_id INT, contract_value FLOAT, contract_date DATE, company_state VARCHAR(255)); INSERT INTO defense_contracts (contract_id, contract_value, contract_date, company_state) VALUES (1, 500000, '2020-01-01', 'Texas'), (2, 750000, '2020-02-03', 'California'), (3, 300000, '2020-09-09', 'Texas');
SELECT SUM(contract_value) FROM defense_contracts WHERE company_state = 'Texas' AND EXTRACT(YEAR FROM contract_date) = 2020;