mines de pretoria et de johannesburg