Text this: ADR-Miner: An Ant-based data reduction algorithm for classification