Modeling of Ship Collision Probability using Dynamic Traffic Simulation