A Preliminary Discussion on the Ten New Trends in China’s Mining Industry Development