Theoretical predictions of folding pathways by using the proximity rule, with applications to bovine pancreatic trypsin inhibitor.