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: Atualize a produtividade do trabalhador com id 1 para 15.2 se o trabalhador for do departamento 'mining' e o ano for 2020.
 ###Tabelas: 
CREATE TABLE productivity(id INT, worker TEXT, department TEXT, year INT, productivity FLOAT);INSERT INTO productivity(id, worker, department, year, productivity) VALUES (1, 'John', 'mining', 2020, 12.5), (2, 'Jane', 'mining', 2020, 13.7), (3, 'Mike', 'mining', 2018, 11.8), (4, 'Lucy', 'geology', 2020, 15.1);
UPDATE productivity SET productivity = 15.2 WHERE id = 1 AND department = 'mining' AND year = 2020;