Explosion behavior of methane–dimethyl ether/air mixtures