Computational design of (100) alloy surfaces for the hydrogen evolution reaction