how does a ball tube mill for coal crushing work