An efficient high-quality hierarchical clustering algorithm for automatic inference of software architecture from the source code of a software system