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: Obter o número de funcionários que saíram em cada mês de 2020 da tabela "employee_records".
 ###Tabelas: 
CREATE TABLE employee_records (employee_id INT PRIMARY KEY, name TEXT, position TEXT, leaving_date DATE); INSERT INTO employee_records (employee_id, name, position, leaving_date) VALUES (1, 'John Doe', 'CTO', '2018-01-01'); INSERT INTO employee_records (employee_id, name, position, leaving_date) VALUES (2, 'Jane Smith', 'COO', '2019-05-15'); INSERT INTO employee_records (employee_id, name, position, leaving_date) VALUES (3, 'Alice Johnson', 'Data Analyst', '2020-03-20'); INSERT INTO employee_records (employee_id, name, position, leaving_date) VALUES (4, 'Bella Williams', 'Data Scientist', '2020-04-30'); INSERT INTO employee_records (employee_id, name, position, leaving_date) VALUES (5, 'Carlos Brown', 'Software Engineer', '2020-12-15');
SELECT EXTRACT(MONTH FROM leaving_date) AS month, COUNT(*) AS count FROM employee_records WHERE leaving_date >= '2020-01-01' AND leaving_date < '2021-01-01' GROUP BY month ORDER BY month;