Algorithm 457: finding all cliques of an undirected graph