From event logs to goals: a systematic literature review of goal-oriented process mining · Study