Semi-Definite Relaxation of Optimal Control Problems with Polynomial Constraints