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 montante total de disprósio exportado para a África nos últimos 3 anos por empresas com uma receita superior a $1 bilhão?
 ###Tabelas: 
CREATE TABLE export_info (id INT, element TEXT, location TEXT, company TEXT, date DATE, quantity INT, revenue INT); INSERT INTO export_info (id, element, location, company, date, quantity, revenue) VALUES (1, 'dysprosium', 'Africa', 'Company A', '2019-01-01', 500, 2000000000), (2, 'dysprosium', 'Africa', 'Company B', '2020-01-01', 600, 3000000000);
SELECT SUM(quantity) FROM export_info WHERE element = 'dysprosium' AND location = 'Africa' AND company IN (SELECT company FROM export_info WHERE revenue > 1000000000) AND extract(year from date) >= 2019;