a a deep level mining in south africa