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 montante total de carvão extraído por cada empresa mineradora na região Oeste?
 ###Tabelas: 
CREATE TABLE mining_companies (id INT, name VARCHAR(50), region VARCHAR(50)); INSERT INTO mining_companies (id, name, region) VALUES (1, 'Alpha Coal', 'Western'), (2, 'Beta Mining', 'Eastern'); CREATE TABLE coal_production (company_id INT, amount INT, year INT); INSERT INTO coal_production (company_id, amount, year) VALUES (1, 1500, 2020), (1, 1800, 2019), (2, 1200, 2020);
SELECT mc.name, SUM(cp.amount) as total_coal_mined FROM mining_companies mc INNER JOIN coal_production cp ON mc.id = cp.company_id WHERE mc.region = 'Western' GROUP BY mc.name;