jenis batuan yang dapat diolah ball mill