Deutsche Akademie der Wissenschaften, Internationales Büro für Gebirgsmechanik, Internationales Büro für Gebirgsmechanik