A Short Introduction to String Theory