[30] Computational simulation of DNA melting and its application to denaturing gradient gel electrophoresis