Introduction to the AdS/CFT Correspondence