Žiadanka emailom: The determination of the development of gas capacity in OKR mines after termination of mining activities