Predicting the Stability of Cyclic Disulfides by Molecular Modeling: 'Effective Concentrations' in Thiol-Disulfide Interchange and the Design of Strongly Reducing Dithiols