[graph-tool] positions of vertices