Notch signaling in the mammalian central nervous system: insights from mouse mutants