A stochastic model for the throughput analysis of passing dual yard cranes. (November 2017)