Space-time finite element methods for second-order hyperbolic equations