A probabilistic model for accidental cargo oil outflow from product tankers in a ship–ship collision | Synapse