Freeze–Thaw Behavior and Degradation Modeling of Shale-Based Lightweight Structural Concrete | Synapse