Parallel algorithms for the automated discovery of declarative process models