Introduction to string theory, Fall 2017