Theoretical power density from salinity gradients using reverse electrodialysis