Lehmer's Continued Fraction Factorization Algorithm