An approach to the modelling of spontaneous combustion in the goaf