Mathematical Model of Potassium Profiling in Chronic Dialysis