using ball mills for mining