Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications