What are the top five states in descending order in terms of revenue provided to school districts?
CREATE TABLE finrev_fed_key_17 (
    state_code number,
    state text,
    #_records text
)

CREATE TABLE finrev_fed_17 (
    state_code number,
    idcensus number,
    school_district text,
    nces_id text,
    yr_data number,
    t_fed_rev number,
    c14 number,
    c25 number
)

CREATE TABLE ndecoreexcel_math_grade8 (
    year number,
    state text,
    all_students text,
    average_scale_score number
)
SELECT T2.state FROM finrev_fed_key_17 AS T2 JOIN finrev_fed_17 AS T1 ON T1.state_code = T2.state_code GROUP BY T1.state_code ORDER BY SUM(t_fed_rev)
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: What are the top five states in descending order in terms of revenue provided to school districts? ### Input: CREATE TABLE finrev_fed_key_17 (
    state_code number,
    state text,
    #_records text
)

CREATE TABLE finrev_fed_17 (
    state_code number,
    idcensus number,
    school_district text,
    nces_id text,
    yr_data number,
    t_fed_rev number,
    c14 number,
    c25 number
)

CREATE TABLE ndecoreexcel_math_grade8 (
    year number,
    state text,
    all_students text,
    average_scale_score number
) ### Response: SELECT T2.state FROM finrev_fed_key_17 AS T2 JOIN finrev_fed_17 AS T1 ON T1.state_code = T2.state_code GROUP BY T1.state_code ORDER BY SUM(t_fed_rev)