Text this: Analysis on the Characteristics of Water Pollution Caused by Underground Mining and Research Progress of Treatment Technology