A study of energy minimization techniques applied to protein design