Process Mining and Data Science Using ProM