Using the probabilistic risk assessment to support ship specification