what is ball mill and operation