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 produção anual mínima de Samário de todas as minas em 2020?
 ###Tabelas: 
CREATE TABLE mine (id INT, name TEXT, location TEXT, Samarium_annual_production FLOAT, timestamp TIMESTAMP); INSERT INTO mine (id, name, location, Samarium_annual_production, timestamp) VALUES (1, 'Australian Mine', 'Australia', 1500.5, '2020-01-01'), (2, 'Californian Mine', 'USA', 1700.3, '2020-01-01'), (3, 'Brazilian Mine', 'Brazil', 1000.0, '2020-01-01'), (4, 'Indian Mine', 'India', 500.5, '2020-01-01');
SELECT MIN(Samarium_annual_production) FROM mine WHERE EXTRACT(YEAR FROM timestamp) = 2020;