How Super Mario 64's most relaxing song was made