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 é a produtividade máxima do trabalho na indústria de mineração de carvão no estado "West Virginia" para o ano de 2020?
 ###Tabelas: 
CREATE TABLE coal_mining_productivity (id INT, state TEXT, year INT, productivity FLOAT); INSERT INTO coal_mining_productivity (id, state, year, productivity) VALUES (1, 'West Virginia', 2018, 3.5); INSERT INTO coal_mining_productivity (id, state, year, productivity) VALUES (2, 'West Virginia', 2020, 4.2);
SELECT MAX(productivity) FROM coal_mining_productivity WHERE state = 'West Virginia' AND year = 2020;