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?
none