A Distributed SDN Control Plane for Consistent Policy Updates