how much is the cost of a used krupp cement grinding mill