Discrete Lorentzian quantum gravity