The Investigation, Development, and Analysis of Models of Electrodialysis