in mining industry repairing machine