Data Preprocessing Method and API for Mining Processes from Cloud-Based Application Event Logs · Study