Design principles of prestressed anchors for tunnels considering bearing arch effect