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 receita total dos produtos cosméticos halal na Espanha?
 ###Tabelas: 
CREATE TABLE HalalProducts (product VARCHAR(255), country VARCHAR(255), revenue DECIMAL(10,2)); INSERT INTO HalalProducts (product, country, revenue) VALUES ('Foundation', 'Spain', 1500), ('Mascara', 'Spain', 1200), ('Eyeliner', 'Spain', 1000);
SELECT SUM(revenue) FROM HalalProducts WHERE country = 'Spain';