How much is a ball mill