Automatic Measuring System and Jack Control System for Underpinning Work for Yokosuka Line Shield Tunnel in Construction of Keiyo Line Tokyo Underground Station