An Axiomatic Definition of Hierarchical Clustering