AI-assisted, theory-guided electrolyte screening using DFT frontier descriptors and the Rational Discovery Toolkit cheminformatics | Synapse