Mathematical Introduction to String Theory