Top-down parameter-free clustering of high-dimensional categorical data