A Thermodynamics-Based Algorithm for Optimizing HIV Drug Resistance Probe Designs