High-Throughput Calculations and Machine Learning for Discovering Halide-Type Solid-State Electrolyte Materials | Synapse