Map external node id to internal node id, where internal nodes sequentially increase from 0 for each newly seen external node id.
Map external node id to internal node id, where internal nodes sequentially increase from 0 for each newly seen external node id. Thread-safe; see body comments for details.