Effects of environmental governance in mining areas: The trend of arsenic concentration in the environmental media of a typical mining area in 25 years. (November 2019)