Ab Initio-Based Kinetic Modeling for the Design of Molecular Catalysts: The Case of H2 Production Electrocatalysts