A Survey of Process Mining Competitions: The BPI Challenges 2011–2018 · Study