Effect of the properties of the rocks and the set of the jaw crusher on the produced average diameter of the product