Energy-Conserving Time Discretization of Abstract Dynamic Problems with Applications in Continuum Mechanics of Solids. (2nd September 2017)