A Formal Learning Theory for Three-way Clustering-Andrea Campagner and Davide Ciucci