Towards automated heterogeneous catalysis design: integrating activation energy estimation, uncertainty quantification, and coverage-dependent thermodynamics in microkinetic modeling.