Exact sum of squares decomposition of univariate polynomials