Quantum-chemical-based microkinetics simulations of syngas conversion over MoS2(1 0 0) surface