Formal safety assessment of fishing vessels