Model specification for tunnelling (Thomas Telford, 1997)