Development and application of the thermodynamic database PRODATA dedicated to the monitoring of mining activities from exploration to remediation. (July 2020)