Hydrogeochemical modeling for assessing the mobility of pyrite oxidation ions in unsaturated mine overburden dumps