Structural Behavior and Performance Assessment of a Prestressed Aluminum Alloy Formwork System for Large-Span Concrete Domes | Synapse