What Is String Theory?