Factoring polynomials with rational coeficients