Dynamic fragmentation of rock material: Characteristic size, fragment distribution and pulverization law