Eventifier: Extracting Process Execution Logs from Operational Databases. · Study