Statistics for The effects of mine downscaling (and closure) on the socio-economic development of mining communities: the case of Oranjemund