Correlation Clustering: maximizing agreements via semidefinite programming