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 contratante com o maior valor total de projeto no estado do Texas?
 ###Tabelas: 
CREATE TABLE contractors (contractor_id INT, contractor_name TEXT, state TEXT, total_project_value DECIMAL); INSERT INTO contractors VALUES (1, 'ABC Construction', 'Texas', 5000000), (2, 'XYZ Builders', 'California', 7000000), (3, '123 Contracting', 'Texas', 6000000), (4, 'Easy Builders', 'California', 6000000), (5, 'Green Construction', 'New York', 8000000);
SELECT contractor_name, total_project_value FROM contractors WHERE state = 'Texas' ORDER BY total_project_value DESC LIMIT 1;