Gamma knife radiosurgery for craniopharyngiomas.