The Recent Progress China Has Made in Green Mine Construction, Part I: Mining Groundwater Pollution and Sustainable Mining