Instruct: 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?
Output: SELECT AVG Laps FROM table WHERE Time/Retired = + 2 laps AND Driver = mike hailwood AND Grid > 12