equipment used in the coal mines