How to Cope with Personnel Unavailability? Process Mining May Help!