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 trabalhadores na indústria de mineração em todas as regiões?
 ###Tabelas: 
CREATE TABLE mining_workforce (region VARCHAR(20), num_workers INT); INSERT INTO mining_workforce (region, num_workers) VALUES ('West', 1200), ('East', 1500), ('North', 1700), ('South', 1300);
SELECT SUM(num_workers) FROM mining_workforce;