the development of chinas coal mining industry