Probabilistic Modeling of Available Transfer Capability with Dynamic Transmission Reliability Margin for Renewable Energy Export and Integration | Synapse