Tunnelling in the Great War