different machinery coal mines use