the double ended ball mill