The risk of ship jacket collision on the Dutch Continental Shelf