Quantitative enrichment of trace levels of ions by electrodialysis