breaking or grinding up of a material in mining