Experimental Data Set of Mining-Induced Seismicity for Studies of Full-Scale Topographic Effects