Interactive Correlation Clustering with Existential Cluster Constraints