The design of venting of gas explosions in the presence of a discharge duct