Simulation of Container Unloading from Ships: An example of multi-level modeling