Top 10 algorithms in data mining