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: Quanta gás natural foi extraído da formação de Haynesville em 2020?
 ###Tabelas: 
CREATE TABLE haynesville_shale_gas_production (year INT, region VARCHAR(20), production_volume INT); INSERT INTO haynesville_shale_gas_production (year, region, production_volume) VALUES (2015, 'Haynesville Shale', 3000000), (2016, 'Haynesville Shale', 3300000), (2017, 'Haynesville Shale', 3600000), (2018, 'Haynesville Shale', 3900000), (2019, 'Haynesville Shale', 4200000), (2020, 'Haynesville Shale', 4500000);
SELECT production_volume FROM haynesville_shale_gas_production WHERE year = 2020 AND region = 'Haynesville Shale';