machinery is used in coal mining in china