Graph-theoretic approach to the catalytic-pathway identification of methanol decomposition