The convergence of TD(lambda) for general lambda