Isotachophoretic focusing of strong electrolytes on the background of carrier ampholytes