Research on size effect of gas explosion in the roadway. (June 2021)