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 tabela 'mining_operations', para funcionários com um salário maior que $70,000?
 ###Tabelas: 
CREATE TABLE mining_operations (id INT, first_name VARCHAR(50), last_name VARCHAR(50), job_title VARCHAR(50), department VARCHAR(50), PRIMARY KEY (id)); INSERT INTO mining_operations (id, first_name, last_name, job_title, department, salary) VALUES (1, 'John', 'Doe', 'Engineer', 'Mining', 80000.00), (2, 'Jane', 'Doe', 'Operator', 'Mining', 60000.00), (3, 'Mike', 'Johnson', 'Manager', 'Environment', 90000.00), (4, 'Sara', 'Smith', 'Technician', 'Environment', 70000.00), (5, 'David', 'Williams', 'Engineer', 'Mining', 75000.00);
SELECT department, COUNT(*) FROM mining_operations WHERE salary > 70000 GROUP BY department;