Design Principles of an Electrochemical Dialyzate Regenerator for an Artificial Kidney Apparatus