Study on the propagation law of gas explosion in the space based on the goaf characteristic of coal mine