The Mean Partition Theorem in consensus clustering. (July 2018)