shigeru miyamoto plays mario theme