Propagation of singularities for the wave equation