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: Obter o valor total dos contratos de defesa concedidos a empresas no Texas em 2020.
 ###Tabelas: 
CREATE TABLE defense_contracts (contract_id INT, contract_value FLOAT, company_state VARCHAR(255), contract_award_year INT); INSERT INTO defense_contracts (contract_id, contract_value, company_state, contract_award_year) VALUES (1, 1000000, 'TX', 2020); INSERT INTO defense_contracts (contract_id, contract_value, company_state, contract_award_year) VALUES (2, 2000000, 'CA', 2019);
SELECT SUM(contract_value) FROM defense_contracts WHERE company_state = 'TX' AND contract_award_year = 2020;