ball mill is widely used in ore grinding cement mi