Microsurgical treatment for hypothalamic hamartoma in children with precocious puberty