Implicit Time Integrators and Designs for Nonlinear Second-Order Transient Systems: Elastodynamics