Hypertrophic olivary degeneration after surgical removal of cavernous malformations of the brain stem: report of four cases and review of the literature