A Policy-Based System for Network-Wide Configuration Management