machinery used in the coal mining process