Gamma knife surgery for craniopharyngioma