Thermodynamic model for arsenic speciation in sulfidic waters: A novel use of ab initio computations