A general procedure for the purification of human β-secretase expressed in Escherichia coli