Hypertrophic olivary degeneration: a differential diagnosis to consider following surgical intervention in the posterior cranial fossa: review and two case reports