Optimal state replication in stateful data planes