On the variable ordering in subgraph isomorphism algorithms