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 manutenção de equipamentos militares no Texas desde 2020?
 ###Tabelas: 
CREATE TABLE maintenance (id INT, location VARCHAR(255), date DATE, value FLOAT); INSERT INTO maintenance (id, location, date, value) VALUES (1, 'Texas', '2020-01-01', 5000), (2, 'California', '2021-01-01', 7000);
SELECT SUM(value) FROM maintenance WHERE location = 'Texas' AND year(date) >= 2020;