Humans-in-the-loop: Gamifying activity label repair in process event logs · Study