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 mineradora no Texas?
 ###Tabelas: 
CREATE TABLE mining_companies (company_id INT, company_name TEXT); INSERT INTO mining_companies (company_id, company_name) VALUES (1, 'Company A'), (2, 'Company B'); CREATE TABLE mining_sites (site_id INT, site_name TEXT, company_id INT, state TEXT); INSERT INTO mining_sites (site_id, site_name, company_id, state) VALUES (1, 'Site 1', 1, 'Texas'), (2, 'Site 2', 2, 'Texas'); CREATE TABLE mining_production (production_id INT, site_id INT, resource TEXT, quantity INT); INSERT INTO mining_production (production_id, site_id, resource, quantity) VALUES (1, 1, 'coal', 500), (2, 2, 'coal', 750);
SELECT mc.company_name, SUM(mp.quantity) as total_coal_mined FROM mining_companies mc JOIN mining_sites ms ON mc.company_id = ms.company_id JOIN mining_production mp ON ms.site_id = mp.site_id WHERE ms.state = 'Texas' AND mp.resource = 'coal' GROUP BY mc.company_name;