Triazolyl tryptoline derivatives as β-secretase inhibitors