Oberwolfach Seminar: Polynomial Optimization for Nonlinear Dynamics: Theory, Algorithms, and Applications