rotation speed of mining machine