What is string theory?