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 os nomes de todas as minas de estanho na Indonésia que produziram mais de 5000 toneladas no ano passado.
 ###Tabelas: 
CREATE TABLE mines (id INT, name TEXT, location TEXT, production_volume INT, year INT, mineral TEXT); INSERT INTO mines (id, name, location, production_volume, year, mineral) VALUES (1, 'Indonesian Tin Mine 1', 'Indonesia', 6000, 2020, 'tin'); INSERT INTO mines (id, name, location, production_volume, year, mineral) VALUES (2, 'Indonesian Tin Mine 2', 'Indonesia', 4000, 2020, 'tin');
SELECT name FROM mines WHERE location = 'Indonesia' AND production_volume > 5000 AND year = 2020 AND mineral = 'tin';