Stability of Transmembrane Amyloid β-Peptide and Membrane Integrity Tested by Molecular Modeling of Site-Specific Aβ 42 Mutations