A Mathematical Introduction to String Theory