A Framework for Network State Management in the Next-Generation Internet Architecture