GIS-Based Simulation Methodology for Evaluating Ship Encounters Probability to Improve Maritime Traffic Safety.