https://123dok.org/document/yngn3721-time-message-optimal-distributed-algorithm-minimum-spanning-trees.html