Efficient Quadrature Rules for Computing the Stiffness Matrices of Mass-Lumped Tetrahedral Elements for Linear Wave Problems