What is the sum of revenue for the banking industry with a Forbes 2000 rank under 53?
CREATE TABLE "list" (
  "rank" real,
  "rank_forbes_2000" real,
  "name" text,
  "headquarters" text,
  "revenue_bn" real,
  "profit_bn" real,
  "assets_bn" real,
  "market_value_bn" real,
  "industry" text
);
SELECT SUM("revenue_bn") FROM "list" WHERE "industry"='banking' AND "rank_forbes_2000"<53;