Autonomous Discovery of Polymer Electrolyte Formulations with Warm-Start Batch Bayesian Optimization | Synapse