An Analysis of Cargo Release Services with Process Mining: A Case Study in a Logistics Company