what is the college when the overall is more than 76 for brian mitchell?
CREATE TABLE "washington_redskins_draft_history" (
  "round" real,
  "pick" real,
  "overall" real,
  "name" text,
  "position" text,
  "college" text
);
SELECT "college" FROM "washington_redskins_draft_history" WHERE "overall">76 AND "name"='brian mitchell';