Transgenic mouse models of Alzheimer's disease: phenotype and application