Supporting Confidentiality in Process Mining Using Abstraction and Encryption