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 tipos de rochas em minas com uma métrica de produção maior que 40000 e localizadas em Nevada.
 ###Tabelas: 
CREATE TABLE geological_survey (id INT, mine_id INT, rock_type VARCHAR(50), FOREIGN KEY (mine_id) REFERENCES mines(id)); INSERT INTO geological_survey (id, mine_id, rock_type) VALUES (3, 5, 'Limestone'); INSERT INTO geological_survey (id, mine_id, rock_type) VALUES (4, 6, 'Sandstone');
SELECT gs.rock_type FROM geological_survey gs JOIN mines m ON gs.mine_id = m.id WHERE m.production_metric > 40000 AND m.location = 'Nevada';