The effect of hydrogen addition on the explosion of ethanol/air mixtures