pulverization or crushing of ore