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: Quem são os desenvolvedores que implantaram mais de '15' contratos inteligentes?
 ###Tabelas: 
CREATE TABLE developers (id INT, name TEXT); CREATE TABLE smart_contracts (id INT, name TEXT, developer INT, deployment_date DATE); INSERT INTO developers (id, name) VALUES (1, 'Developer1'), (2, 'Developer2'); INSERT INTO smart_contracts (id, name, developer, deployment_date) VALUES (1, 'Contract1', 1, '2022-01-01'), (2, 'Contract2', 1, '2021-12-01'), (3, 'Contract3', 2, '2021-11-01');
SELECT developers.name FROM developers INNER JOIN (SELECT developer, COUNT(*) AS contract_count FROM smart_contracts GROUP BY developer) AS smart_contracts ON developers.id = smart_contracts.developer WHERE smart_contracts.contract_count > 15