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 financiamento total para projetos de mitigação de detritos espaciais até 2025?
 ###Tabelas: 
CREATE TABLE funding (funding_id INT, project_id INT, funding_amount FLOAT, funding_date DATE);CREATE TABLE mitigation_projects (project_id INT, project_type VARCHAR(50));
SELECT SUM(funding.funding_amount) FROM funding INNER JOIN mitigation_projects ON funding.project_id = mitigation_projects.project_id WHERE funding.funding_date <= '2025-12-31' AND mitigation_projects.project_type = 'space debris mitigation';