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 funcionários trabalhando em cada tipo de operação de mineração?
 ###Tabelas: 
CREATE TABLE workforce (id INT, name VARCHAR(50), position VARCHAR(50), department VARCHAR(50), operation_type VARCHAR(50)); INSERT INTO workforce (id, name, position, department, operation_type) VALUES (1, 'John Doe', 'Engineer', 'Mining', 'Coal'), (2, 'Jane Smith', 'Technician', 'Environment', 'Gold'), (3, 'Alice Johnson', 'Manager', 'Operations', 'Gold');
SELECT operation_type, COUNT(*) as num_employees FROM workforce GROUP BY operation_type;