Title: Controlling the cross-sectional profile of machine-driven tunnels