Assessment of gas explosion risk in underground spaces adjacent to a gas pipeline. (January 2023)