Rock mechanics and rock engineering volume 2: applications of rock mechanics - rock engineering - Aydan, Ömer 1955- (CRC Press, 2020)