High-order finite element methods for seismic wave propagation