Inverse problems for Lorentzian manifolds and non-linear hyperbolic equations