A sharp decline in diamond production is weighing on South Africa's mining industry.