machines used in coal mines