Tailoring Machine Learning for Process Mining