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 em cada departamento na indústria de mineração?
 ###Tabelas: 
CREATE TABLE workforce (id INT, name VARCHAR(50), gender VARCHAR(50), position VARCHAR(50), department VARCHAR(50)); INSERT INTO workforce (id, name, gender, position, department) VALUES (1, 'John Doe', 'Male', 'Engineer', 'Mining'), (2, 'Jane Smith', 'Female', 'Technician', 'Environment'), (3, 'Alice Johnson', 'Female', 'Manager', 'Operations');
SELECT department, COUNT(*) as num_employees FROM workforce GROUP BY department;