Computational design of solid electrolytes for all-solid-state batteries by high-throughput first-principles calculations and machine learning techniques