Diamond recovery at Jwaneng mine, Botswana.