as a ball mill is chosen for mining