Isotachophoretic determination of mobility and pka by means of computer simulation