Statistics for Reconstructing the history of urban development in the mining town of Virginia, Free State between 1940 and 2015