Green Mining: China's Shanxi Province using new technologies to reduce environmental damage