what are the important types of ball mill