Ab initio prediction of the gas- and solution-phase acidities of strong Brønsted acids: the calculation of pKa values less than -10.