Separation of presenilin function in amyloid β-peptide generation and endoproteolysis of Notch