Heterotic string theory was first developed by what American theoretical physicist and string theorist who was awarded the 2004 Nobel Price in Physics along with Frank Wilczek?