When the driver mike hailwood has a grid greater than 12 and a Time/Retired of + 2 laps, what is the average number of laps?
CREATE TABLE "classification" (
  "driver" text,
  "constructor" text,
  "laps" real,
  "time_retired" text,
  "grid" real
);
SELECT AVG("laps") FROM "classification" WHERE "time_retired"='+ 2 laps' AND "driver"='mike hailwood' AND "grid">12;