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 nomes das minas e o número de funcionários em cada mina.
 ###Tabelas: 
CREATE TABLE mines (id INT, name VARCHAR(255), number_of_employees INT); INSERT INTO mines (id, name, number_of_employees) VALUES (1, 'Mine A', 200), (2, 'Mine B', 250), (3, 'Mine C', 180), (4, 'Mine D', 220); CREATE TABLE employees (id INT, mine_id INT, name VARCHAR(255)); INSERT INTO employees (id, mine_id, name) VALUES (1, 1, 'John'), (2, 1, 'Jane'), (3, 2, 'Mike'), (4, 2, 'Lucy'), (5, 3, 'Tom'), (6, 4, 'Sara');
SELECT m.name, COUNT(e.id) as total_employees FROM mines m JOIN employees e ON m.id = e.mine_id GROUP BY m.name;