size of china coal mine industry