Gravar-mail: Design of nucleic acid sequences for DNA computing based on a thermodynamic approach