A User Study on Curved Edges in Graph Visualization