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 é a produção total na mina de 'carvão'?
 ###Tabelas: 
CREATE TABLE production (id INT, mine VARCHAR(20), production DECIMAL(10, 2)); INSERT INTO production (id, mine, production) VALUES (1, 'coal', 1800.00), (2, 'gold', 1200.00), (3, 'silver', 800.00);
SELECT SUM(production) FROM production WHERE mine = 'coal';