Spectral Element Discretizations with Implicit Time Integrators on Unstructured Simplex Meshes for Computational Seismology