Text this: Software solution for the mine subsidence prediction based on the stochastic method integrated with the GIS