Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Quantas voltas Mike Spence completou nas grelhas acima de 12?
 ###Tabelas: CREATE TABLE average_chart (average_chart_id AUTO_INCREMENT PRIMARY KEY, Rank by average INT, Place INT, Couple VARCHAR, Total INT, Number of dances INT, Average INT) CREATE TABLE classification (classification_id AUTO_INCREMENT PRIMARY KEY, Driver VARCHAR, Constructor VARCHAR, Laps INT, Time/Retired VARCHAR, Grid INT) CREATE TABLE characters (characters_id AUTO_INCREMENT PRIMARY KEY, Character VARCHAR, Original Cast, 2009 VARCHAR, Revival Cast, 2010 VARCHAR, Wales Cast, 2012 VARCHAR, New Zealand Cast, 2012 VARCHAR, Australian Cast, 2012 VARCHAR) CREATE TABLE acquisitions_1885–94 (acquisitions_1885–94_id AUTO_INCREMENT PRIMARY KEY, Name (pinyin) VARCHAR, Name (Wade Giles) VARCHAR, Characters VARCHAR, Type VARCHAR, Construction VARCHAR) CREATE TABLE appearances_in_the_tour_de_france (appearances_in_the_tour_de_france_id AUTO_INCREMENT PRIMARY KEY, Year INT, Stage INT, Category INT, Start VARCHAR, Finish VARCHAR, Leader at the summit VARCHAR)  
SELECT COUNT Laps FROM classification WHERE Driver = mike spence AND Grid > 12