The mean diameter of the fragments formed by blasting rock