How giant tunnelling machines work.