Modeling assignment of quay cranes using queueing theory for minimizing CO 2 emission at a container terminal