A process model of electrodialysis including membrane deformation effects