Graph-level operations: A high-level interface for graph visualization technique specification