A pivoting-based heuristic for the maximum clique problem