The history of tunnelling : underground workings through the ages