meaning of batch type ball mill