We would like to thank Panagiotis Karagiannis, Nikos Mamoulis, and
Toby Walsh for their help in various stages of this work. We would
also like to thank the anonymous reviewers of an earlier version
of this paper for their very useful comments and suggestions.