amount of cement produced by randfontein grinding station cement