Research and application of a new quantitative model for CO2 sequestration in voids created by underground coal gasification | Synapse