Static Upper/Lower Thrust and Kinematic Work Balance Stationarity for Least-Thickness Circular Masonry Arch Optimization