马里奥这个角色的名字来源于什么