Theory of Agglomerative Hierarchical Clustering