Rock bolting proceedings 1983 door Ove Stephansson