Mini comemora 9 anos de estreia no Brasil; veja lançamentos marcantes