6th Muller Lecture: From Empiricism through Theory, to Problem Solving in Rock Engineering