Nonperturbative String Theory