mining ore stone mill grits