Text this: Modeling formamide denaturation of probe-target hybrids for improved microarray probe design in microbial diagnostics.