Using Symbolic Computation to Analyze Zero-Hopf Bifurcations of Polynomial Differential Systems