An integrated model for predicting atmospheric status in a sealed mine area