Partial regularity of harmonic maps from a Riemannian manifold into a Lorentzian manifold