Polynomial time factorization of univariate polynomials over the integers using LLL lattice reduction