What is the sum of the heights for the Cornell Big Red?
CREATE TABLE "luge" (
  "position" text,
  "height_cm" real,
  "weight_kg" real,
  "birthplace" text,
  "2009_10_team" text
);
SELECT SUM("height_cm") FROM "luge" WHERE "2009_10_team"='cornell big red';