PPINOT: Process Performance Indicators Notation and Tool