Face Stability Analysis of Circular Tunnels Driven by a Pressurized Shield | Synapse