Experimental study on explosion characteristics of hydrogen–propane mixtures