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: Listar todos os nomes de minas únicos da tabela 'coal_mines' onde a 'yearly_production' é maior que 500000?
 ###Tabelas: 
CREATE TABLE coal_mines (mine_name VARCHAR(50), yearly_production INT); INSERT INTO coal_mines (mine_name, yearly_production) VALUES ('ABC Coal Mine', 550000), ('DEF Coal Mine', 400000), ('GHI Coal Mine', 600000);
SELECT mine_name FROM coal_mines WHERE yearly_production > 500000;