Lenstra elliptic-curve factorization