Reverse electrodialysis: A validated process model for design and optimization