handbook of ball mill and pebble mill operation