breaking or grinding up of a material, in mining