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 é o número total de licenças de construção emitidas por mês na cidade de Denver no ano de 2020?
 ###Tabelas: 
CREATE TABLE building_permits (permit_id INT, permit_date DATE, city TEXT, state TEXT); INSERT INTO building_permits VALUES (1, '2020-01-01', 'Chicago', 'Illinois'), (2, '2019-12-15', 'New York', 'New York'), (3, '2020-06-20', 'Houston', 'Texas'), (4, '2021-02-03', 'Chicago', 'Illinois'), (5, '2020-07-10', 'Denver', 'Colorado'), (6, '2020-07-25', 'Denver', 'Colorado'), (7, '2020-01-05', 'Denver', 'Colorado'), (8, '2020-02-12', 'Denver', 'Colorado'), (9, '2020-03-20', 'Denver', 'Colorado');
SELECT EXTRACT(MONTH FROM permit_date) AS month, COUNT(*) FROM building_permits WHERE city = 'Denver' AND EXTRACT(YEAR FROM permit_date) = 2020 GROUP BY month;