Postprocessing Techniques of High-Order Galerkin Approximations to Nonlinear Second-Order Initial Value Problems with Applications to Wave Equations