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 total de funcionários na indústria de mineração por gênero?
 ###Tabelas: 
CREATE TABLE employees (employee_id INT, employee_name VARCHAR(255), gender VARCHAR(255), position VARCHAR(255), industry VARCHAR(255)); INSERT INTO employees (employee_id, employee_name, gender, position, industry) VALUES (1, 'John Smith', 'Male', 'Engineer', 'Mining'), (2, 'Jane Doe', 'Female', 'Manager', 'Mining');
SELECT gender, COUNT(*) FROM employees WHERE industry = 'Mining' GROUP BY gender;