Predictive models for the phase behaviour and solution properties of weak electrolytes: nitric, sulphuric, and carbonic acids.