Multiple pheromone types and other extensions to the Ant-Miner classification rule discovery algorithm