Time-dependent methane emission from vertical prospecting boreholes drilled to abandoned mine workings at a shallow depth