Design analysis in rock mechanics. (2012)