Probabilistic Risk Analysis for Ship Collision-Theory and Application for Conventional and Autonomous Ships