Linking Methods in Critical Point Theory