CREATE TABLE table_name_3 (Id VARCHAR(255))
What is the 2012 with a mini in 2009?
    
SQL: SELECT 2012 FROM table_name_3 WHERE 2009 = "mini"