Statistics for The underwater separation of diamantiferous marine gravels