machines used in the coal mines