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: Liste as 3 minas com a maior produção anual de carvão nos EUA.
 ###Tabelas: 
CREATE TABLE mines (id INT, name VARCHAR(255), location VARCHAR(255), annual_coal_production INT); INSERT INTO mines (id, name, location, annual_coal_production) VALUES (1, 'Mine A', 'USA', 1000000), (2, 'Mine B', 'Canada', 800000), (3, 'Mine C', 'USA', 1200000), (4, 'Mine D', 'USA', 1100000);
SELECT m.name, m.annual_coal_production FROM mines m ORDER BY m.annual_coal_production DESC LIMIT 3;