Reachability computation for polynomial dynamical systems