Three-phase interlines electrochemically driven into insulator compounds: a penetration model and its verification by electroreduction of solid AgCl.