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 número de minas que possuem mais de 500 funcionários e seu distrito correspondente?
 ###Tabelas: 
CREATE TABLE district (id INT, name TEXT); CREATE TABLE mine (id INT, name TEXT, district_id INT, num_employees INT); INSERT INTO district (id, name) VALUES (1, 'District A'), (2, 'District B'), (3, 'District C'); INSERT INTO mine (id, name, district_id, num_employees) VALUES (1, 'Gold Mine 1', 1, 1000), (2, 'Copper Mine 2', 1, 150), (3, 'Iron Mine 3', 2, 2000), (4, 'Silver Mine 4', 3, 250);
SELECT district.name, mine.name, mine.num_employees FROM district JOIN mine ON district.id = mine.district_id WHERE mine.num_employees > 500;