Rational design and validation of DNA fragments for gene assembly based on thermodynamics