Mining policy for industrial minerals in post-apartheid South Africa