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édia dos trabalhadores no departamento de 'mineração' para o ano de 2020?
 ###Tabelas: 
CREATE TABLE workers(id INT, name TEXT, department TEXT, productivity FLOAT, year INT);INSERT INTO workers(id, name, department, productivity, year) VALUES (1, 'John', 'mining', 12.5, 2020), (2, 'Jane', 'mining', 13.7, 2020), (3, 'Mike', 'mining', 11.8, 2020);
SELECT AVG(productivity) FROM workers WHERE department = 'mining' AND year = 2020;