Privacy-aware Process Performance Indicators: Framework and Release Mechanisms.