Approaches and Challenges in Finding Promising Novel Solid Electrolytes for All-Solid-State Battery Application by Materials Simulations and Machine Learning Techniques