Making sense of string theory