Experimental data revealing explosion characteristics of methane, air, and coal mixtures. Issue 42 (8th August 2019)