Global minimization algorithms for Holder functions