Solubility products of amorphous ferric arsenate and crystalline scorodite (FeAsO4·2H2O) and their application to arsenic behavior in buried mine tailings