Experimental Data Set of Mining-Induced Seismicity for Studies of Full-Scale Topographic Effects. Issue 1 (February 2015)