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 em cada mina, incluindo funcionários em tempo parcial e em tempo integral?
 ###Tabelas: 
CREATE TABLE mine (id INT, name TEXT, location TEXT); CREATE TABLE worker (id INT, name TEXT, role TEXT, mine_id INT, is_part_time BOOLEAN);
SELECT mine.name, COUNT(worker.id) as total_workers FROM mine LEFT JOIN worker ON mine.id = worker.mine_id GROUP BY mine.name;