Integrability and the AdS/CFT correspondence