GraphCombEx: a software tool for exploration of combinatorial optimisation properties of large graphs.