Schema: CREATE TABLE table_name_96 (laps INTEGER, grid VARCHAR, time_retired VARCHAR, driver VARCHAR)
Question: 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?
SQL: SELECT AVG(laps) FROM table_name_96 WHERE time_retired = "+ 2 laps" AND driver = "mike hailwood" AND grid > 12