Process of quantitative evaluation of validity of rock cutting model - Futó, Jozef; Ivaničová, Lucia; Krepelka, František; Labaš, Milan