Model-based catalyst screening and optimal experimental design for the oxidative coupling of methane | Synapse