Computational study of separation algorithms for clique inequalities