Integrated experimentation and modeling of the formation processes underlying coal combustion-triggered methane explosions in a mined-out area