Second-order Cone Programming Formulation for Design Optimization of Trusses under Uncertainty Using Buffered Failure Probability for Compliance Constraints | Synapse