Estimating Volume Loss for Shield-Driven Tunnels Based on the Principle of Minimum Total Potential Energy