Combined Methods from High-Throughput Density Functional Theory and Materials Informatics to Efficiently Find Novel Solid Electrolyte Candidates for All-Solid-State Battery Application