Chemical speciation modelling and thermodynamic database compilation—III. Modelling solid formation and dissolution