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: Quantos funcionários de cada departamento trabalham em operações de mineração?
 ###Tabelas: 
CREATE TABLE employee (id INT, name TEXT, department TEXT, role TEXT, location TEXT); INSERT INTO employee (id, name, department, role, location) VALUES (1, 'John Doe', 'Mining', 'Operator', 'Colorado, USA'), (2, 'Jane Smith', 'Environment', 'Analyst', 'Colorado, USA');
SELECT department, COUNT(*) as num_employees FROM employee WHERE location LIKE '%Mining%' GROUP BY department;