mining machine productivity