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: Qual é a metragem quadrada mínima das propriedades certificadas como verdes na cidade de Miami?
 ###Tabelas: 
CREATE TABLE properties (id INT, city VARCHAR(20), square_footage INT, green_certified BOOLEAN); INSERT INTO properties (id, city, square_footage, green_certified) VALUES (1, 'Miami', 800, true), (2, 'Miami', 1000, false), (3, 'Miami', 1200, true);
SELECT MIN(square_footage) FROM properties WHERE city = 'Miami' AND green_certified = true;