Text this: Effect of changes of atmospheric pressure on gas emissions from worked-out areas in an Illinois coal mine