https://123dok.net/document/zlgvoxvl-uniform-random-sampling-planar-graphs-linear-time.html