How Many Playable Mario Characters Are There?