Resolving Uncertain Case Identifiers in Interaction Logs: A User Study