SMS dit: Benchmarking workflow discovery: a case study from bioinformatics.