posterior notch of cerebellum