Probabilistic performance-based approaches to the static and seismic assessment of rock cavities. (December 2018)