what are strings in string theory