Gravar-mail: The Empirical Relationship between Mining Industry Development and Environmental Pollution in China