South Africa’s mining production down 4.6%