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 quantidade total de carvão extraída por cada empresa?
 ###Tabelas: 
CREATE TABLE Companies (CompanyID INT, CompanyName VARCHAR(50)); INSERT INTO Companies (CompanyID, CompanyName) VALUES (1, 'ABC Mining'), (2, 'XYZ Excavations'), (3, 'MNO Drilling'); CREATE TABLE Extraction (ExtractionID INT, CompanyID INT, Material VARCHAR(50), Quantity INT); INSERT INTO Extraction (ExtractionID, CompanyID, Material, Quantity) VALUES (1, 1, 'Coal', 5000), (2, 1, 'Iron', 3000), (3, 2, 'Coal', 7000), (4, 3, 'Gold', 2000), (5, 1, 'Coal', 4000);
SELECT CompanyName, SUM(Quantity) FROM Extraction JOIN Companies ON Extraction.CompanyID = Companies.CompanyID WHERE Material = 'Coal' GROUP BY CompanyName;