Three-dimensional physical simulation test for activity laws of mining-induced overburden by radon detection in Yili mining area of Xinjiang