A parallel implementation of David Karger's algorithm for finding the minimum cut of a graph