which olympic game's mascot is izzy?
(AND olympics.olympic_games (JOIN olympics.olympic_games.mascot m.025z7j8))