What is the average Founded, when Enrollment is 4,000?
CREATE TABLE "current_teams" (
  "institution" text,
  "location" text,
  "founded" real,
  "affiliation" text,
  "enrollment" real,
  "nickname" text
);
SELECT AVG("founded") FROM "current_teams" WHERE "enrollment"='4,000';