Certified Global Minima for a Benchmark of Difficult Optimization Problems