Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems