A differentiable dynamic network loading model that yields queue length distributions and accounts for spillback