First-Principles Modeling in Heterogenous Catalysis: Where Are We? | Synapse