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: Liste os 3 principais desenvolvedores de contratos inteligentes em termos do número total de contratos inteligentes implantados no setor de 'Imóveis'.
 ###Tabelas: 
CREATE TABLE smart_contract_deployer_counts (developer_name VARCHAR(20), industry_sector VARCHAR(10), total_deployer_count INT); INSERT INTO smart_contract_deployer_counts (developer_name, industry_sector, total_deployer_count) VALUES ('Developer1', 'Real Estate', 800), ('Developer2', 'Real Estate', 1200), ('Developer3', 'Real Estate', 1500), ('Developer4', 'Real Estate', 1800), ('Developer5', 'Real Estate', 2000);
SELECT developer_name, total_deployer_count FROM smart_contract_deployer_counts WHERE industry_sector = 'Real Estate' ORDER BY total_deployer_count DESC LIMIT 3;