Text this: A stochastic petri net-based approach for operational performance estimation of quay cranes