Formulation and analysis of variational methods for time integration of linear elastodynamics