GraphViz graph drawing for mathematical graph/network in PHP