Update August 4th

Two new pages have been added to the statistics window:
- the page with information about the calculation of mining productivity.
- the page with information about how the population is calculated.