CREATE TABLE table_name_96 (laps INTEGER, grid VARCHAR(255), time_retired VARCHAR(255), driver VARCHAR(255))
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