Computational high-throughput screening of electrocatalytic materials for hydrogen evolution