What was the industry reaction by other game developers when Super Mario 64 came out? Did developers openly express it was setting a new standard in the industry?