how much does a ball mill for mining cost