MATHEMATICAL MODELING A STOCHASTIC VARIATION OF ROCK PROPERTIES AT AN EXCAVATION DESIGN