Minimizing Polynomials via Sum of Squares over the Gradient Ideal