machinary used in coal mining