Business Process Management and Process Mining Technologies: The progress of a discipline