How the plucky Nintendo character Mario has gone from arcade games to Hollywood